41. Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
پدیدآورنده : / Dirk Van Dalen, Marc Bezem (eds.)
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
رده :
QA75
,.
5
.
W62
42. Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings
پدیدآورنده : Workshop on Computer Science Logic, )4th, 0991, Heidelberg, Germany(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Computer science - Congresses,، Logic, Symbolic and mathematical - Congresses
رده :
QA
75
.
5
.
W624
1990
43. Conditional logic in expert systems
پدیدآورنده : edited by I.R. Goodman ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Expert systems )Computer science(,، Logic, Symbolic and mathematical
رده :
QA
76
.
76
.
E95
C66
1991
44. Current trends on knowledge-based systems
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical
رده :
006
.
3
C976
2017
21
45. Discrete Mathematics
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer Science -- Mathematics
رده :
QA9
.
25
.
E57
2006
46. Discrete mathematics
پدیدآورنده : / Douglas E. Ensley, J. Winston Crawley
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science, Mathematics
رده :
QA9
.
25
.
E57
2006
47. Discrete mathematics
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley
موضوع : Logic, Symbolic and mathematical,Mathematical recreations,Computer science- Mathematics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
48. Discrete mathematics :
پدیدآورنده : Douglas E. Ensley, J. Winston Crawley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Logic, Symbolic and mathematical.,Mathematical recreations.,Computer science-- Mathematics.,Computerwiskunde.,Logic, Symbolic and mathematical.,Mathematical recreations.,Numerieke wiskunde.,Wiskundige logica.
رده :
QA9
.
25
.
E57
2006
49. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics,Computer science,Logic, Symbolic and mathematical,-- Mathematics
رده :
511
R813D
2007
50. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
511
R813d
E
.
5
51. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Mathematics,Mathematics ، Computer science,، Logic, Symbolic and mathematical
رده :
QA
39
.
3
.
R67
2007
52. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
موضوع : ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
53. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
54. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2003
55. Discrete mathematics and its applications
پدیدآورنده : Rosen, Kenneth H.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Mathematics,، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R67D5
2007
56. Discrete mathematics and its applications
پدیدآورنده : / Kenneth H. Rosen
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
رده :
QA39
.
3
.
R67
2007
57. Discrete mathematics and its applications with combinatorics and graph theory
پدیدآورنده : Rosen, Kenneth H, Kenneth H Rosen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Mathematics,، Computer science - Mathematics,، Logic, Symbolic and mathematical
رده :
QA
39
.
2
.
R6D5
2007
58. Discrete mathematics: mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
59. Discrete mathematics : mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,، Computer science -- Mathematics
رده :
QA
9
.
25
.
E57D5
60. Discrete mathematics :mathematical reasoning and proof with puzzles, patterns, and games
پدیدآورنده : Ensley, Douglas E.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه بیرجند (خراسان جنوبی)
موضوع : ، Logic, Symbolic and mathematical,، Mathematical recreations,Mathematics ، Computer science
رده :
QA
9
.
25
.
E57
2006
